From bf64b6aec4c339f38b6651fd21c2f515da09d8a9 Mon Sep 17 00:00:00 2001 From: Benjamin Otte Date: Thu, 20 Oct 2016 17:33:33 +0200 Subject: [PATCH] paned: Use gtk_widget_queue_draw() --- gtk/gtkpaned.c | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/gtk/gtkpaned.c b/gtk/gtkpaned.c index 088b6c7f9c..733f48c64e 100644 --- a/gtk/gtkpaned.c +++ b/gtk/gtkpaned.c @@ -1391,11 +1391,12 @@ gtk_paned_allocate (GtkCssGadget *gadget, old_handle_pos.width != priv->handle_pos.width || old_handle_pos.height != priv->handle_pos.height)) { - GdkWindow *window; - - window = gtk_widget_get_window (widget); - gdk_window_invalidate_rect (window, &old_handle_pos, FALSE); - gdk_window_invalidate_rect (window, &priv->handle_pos, FALSE); + gtk_widget_queue_draw_area (widget, + old_handle_pos.x, old_handle_pos.y, + old_handle_pos.width, old_handle_pos.height); + gtk_widget_queue_draw_area (widget, + priv->handle_pos.x, priv->handle_pos.y, + priv->handle_pos.width, priv->handle_pos.height); } if (gtk_widget_get_realized (widget)) -- 2.30.2